1. A Survey of verification techniques for parallel programs
پدیدآورنده : Barringer, Howard, 1591-
کتابخانه: (طهران)
موضوع : ، Parallel processing )Electronic computers(,، Computer programs -- Verification
رده :
QA
76
.
L28
Vol
.
191
2. A survey of verification techniques for Parallel programs
پدیدآورنده : Barringer, Howard
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Parallel processing )Electronic computers(,Verification ، Computer programs
رده :
QA
76
.
5
.
B29627
1985
3. A survey of verification techniques for parallel programs
پدیدآورنده : Barringer, Howard
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Parallel processing )Electronic Computers(,، Computer programs - Verification
رده :
QA
76
.
5
.
B29627
1985
4. A survey of verification techniques for parallel programs
پدیدآورنده : Howard Barringer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Parallel programs (Computer programs) -- Verification.,Parallélisme (Informatique)
رده :
QA76
.
5
H693
1985
5. 4, 2010. Proceedings-Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1
پدیدآورنده : / Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rou, Oleg Sokolsky, Nikolai Tillmann (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
6. 4, 2010. Proceedings-Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1
پدیدآورنده : / Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rou, Oleg Sokolsky, Nikolai Tillmann (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
7. Runtime Verification
پدیدآورنده : / Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rou, Oleg Sokolsky, Nikolai Tillmann
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
8. Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : Proceedings
پدیدآورنده : B. Banieqbal, H. Barringer, A. Pnueli )eds.(
کتابخانه: (طهران)
موضوع : ، System design,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
398
9. The imperative future: principles of executable tomporal logic
پدیدآورنده : edited by Howard Barringer ... ]et al[
موضوع : ، Computer software - Development,، Programming languages )Electronic computer(,، Logic, symbolic and mathematical
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
10. Time for Verification: Essays in Memory of Amir Pnueli
پدیدآورنده : / Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
